fixup! Add gdk_profiler_add_markf() to do printf formating

diff --git a/gdk/gdkprofiler.c b/gdk/gdkprofiler.c
index 3554c0104b4b8e7ee4e3c15b0265d27ad8287049..d7eeaa1d526219d18f9a6d92d9d0a6271db5dcba 100644 (file)
--- a/gdk/gdkprofiler.c
+++ b/gdk/gdkprofiler.c
@@ -226,6 +226,15 @@ gdk_profiler_add_mark (gint64      start,
 {
 }
 
+void
+gdk_profiler_add_markf (gint64      start,
+                        guint64     duration,
+                        const char *name,
+                        const char *format,
+                        ...)
+{
+}
+
 guint
 gdk_profiler_define_counter (const char *name,
                              const char *description)